#ifndef _INVERTER_H_
#define _INVERTER_H_

#include <stdint.h>

#define HeatControl_Inverter_initialize()

#define HEATCONTROL_INVERTER_LOCAL_DECLS \
			int HeatControl_Inverter_result = 0;

#define HeatControl_Inverter_Input_consumeInputValue(value) \
				HeatControl_Inverter_result = !(value)

#define HeatControl_Inverter_computeOutputValues()

#define HeatControl_Inverter_Output_getOutputValue() \
			HeatControl_Inverter_result

#define HeatControl_Inverter_update()

#endif /* _INVERTER_H_ */
